翻訳と辞書 |
Esakia space : ウィキペディア英語版 | Esakia space In mathematics, Esakia spaces are special ordered topological spaces introduced and studied by Leo Esakia in 1974.〔Esakia (1974)〕 Esakia spaces play a fundamental role in the study of Heyting algebras, primarily by virtue of the Esakia duality --- the dual equivalence between the category of Heyting algebras and the category of Esakia spaces. ==Definition==
For a partially ordered set and for , let } and let . Also, for , let } and . An Esakia space is a Priestley space such that for each clopen subset of the topological space , the set is also clopen.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Esakia space」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|